Post-traumatic stress disorder following violent events at the workplace. Experiences with patients referred to a department of occupational medicine